部件寿命服从威布尔分布时典型系统的寿命与剩余寿命估计

在实际工程中,对系统寿命以及剩余寿命的估计非常重要。在已知系统中部件寿命与可靠度的前提下,关于如何快速得到系统级寿命与剩余寿命的相关研究比较缺乏。针对这一问题,首先研究了可靠度、寿命以及剩余寿命的关系,进一步假设部件寿命服从同一威布尔分布,根据部件的寿命与可靠度函数,推导得到串联、并联和表决系统寿命与剩余寿命期望的封闭表达式,并给出了相应的计算方法。对于冷备系统,当部件寿命服从同一指数分布时,推得了系统寿命及剩余寿命期望的封闭表达式,而当部件寿命服从同一威布尔分布时,给出了系统寿命与剩余寿命的数值计算方法。仿真试验证明本文所提出的方法是准确高效的。最后,以卫星中的动量轮r/n(G)表决系统为例开展了实例研究,证明了该方法在工程实践中的有效性。     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

基于计算实验的流感大流行预防策略

流感是人类健康的重大威胁之一.为探索预防新型流感大流行的有效策略,建立了北京市计算流行病模型,评估了边境口岸检疫,病例治疗,病例隔离,社会关系抗病毒预防以及免疫接种措施对四种新型流感大流行的预防效能.结果表明:边境口岸检疫对于预防新型流感大流行的作用非常有限;积极的病例治疗可预防传播能力类似于2009年A(H1N1)的新型流感大流行;高强度的病例治疗和病例隔离可预防传播能力类似于1957年A(H2N2)的新型流感大流行;对于传播能力类似于1918年A(H1N1)的新型流感,在高强度病例治疗和病例隔离的基础上须对病例的社会关系进行抗病毒预防才有可能预防大流行;而对于具有超级传播能力的新型流感(R_03.3),必须依靠有效的广谱疫苗才能预防大流行.研究结果对于进一步完善我国应对流感大流行的应急准备与处置计划具有参考价值.     

考虑交付质量和交付期约束的移动应用供应链决策与协调

针对由ERP厂商、APP厂商与客户企业组成的移动应用供应链,考虑客户企业对软件质量与交付时间存在约束,ERP厂商的售前服务会影响软件开发质量等问题,构建了基于软件质量与交付时间的收益模型,分析了分散与集中决策下双方的最优决策策略以及APP厂商的售后维护成本分担比例与应急成本对双方决策水平的影响,比较了两种决策下对应的合作绩效,提出了双向成本分担与提前交付奖励的供应链协调策略.研究表明:随客户企业的质量感知度增大,ERP厂商通过适当延长交付时间产生的质量改进效应大于延长交付期产生的负效应,使总效应增加;当客户企业的交付期敏感程度小于临界值时,ERP厂商可通过交付高质量软件产品提高自身利润,当交付期敏感程度大于临界值时,可通过提前交付提高自身利润;通过对供应链进行协调,可使原本因无法满足客户企业对质量与交付期的要求而使双方放弃合作的情形变得可合作,使原本可合作时双方的合作绩效与利润更高;当APP厂商独自承担售后维护成本时,实施供应链协调产生的价值大于双方共同承担时对应的值.     

基于稳健协方差矩阵的ADS-B压制式干扰抑制

压制式干扰是广播式自动相关监视(automatic dependent surveillance broadcast, ADS-B)系统面临的最常见且最有威胁的干扰之一。提出基于稳健协方差矩阵估计的ADS-B压制式干扰抑制算法。首先,考虑了ADS-B信号的脉冲特性,将协方差矩阵的求解转化成凸优化问题。然后,利用求解凸优化问题得到的稳健协方差矩阵设计最优权矢量。最后,对观测信号进行空域滤波,完成ADS-B的压制式干扰抑制,并对抑制结果进行性能分析。提供的仿真实验结果也验证了算法的有效性,该方法不需要知道ADS-B信号来向,且在非高斯噪声情况下同样有效。     

高中生物教师现状的调查及分析——以玉林市为例

以玉林高中生物教师为研究对象,通过问卷调查法和个人访谈法对高中生物教师队伍的基本结构、生物教师配备、工作量、任职、收入、科研水平和进修培训等情况进行了调查,分析得出了影响高中生物教师发展的不利因素:(1)教师队伍结构不合理;(2)公立和私立学校、城市和乡镇学校,在师资配备、教师培养、待遇等方面的投入存在着较大的差距;(3)高中生物教师工作量较大、得到发展的机会较少;(4)教学资金投入不足,不利于教学工作的开展.文中结合新形势下对高中生物教师的要求,提出了一些促进高中生物教师发展的对策,以求为有关部门有效地优化高中生物教师队伍、合理利用和分配教师资源提供理论依据和实践参考.     

一类非自治变时滞Logistic方程的全局吸引性

主要研究一类可变时滞非自治Logistic方程的全局吸引性,通过分别研究非振动解和振动解的性质并使用一定的分析技巧结合不等式的方法,得到了方程的正平衡态为全局吸引子的新的充分条件,这些条件便于验证.所得到的结果推广并改进了相关文献中的一些结果,也完善并补充了非自治变时滞Logistic方程的全局吸引性问题的研究工作.     

平行递进式网球教学模式初探

通过将传授网球技术教学过程中，各项技术独立出现，逐一传授，改用为部分技术同时出现，分别按“程序”教学模式，平行推进逐级提高，形成了较为合理的平行递进式网球技术教学模式。经两轮(一轮两年)教学，效果良好。     

中线在不对称负载作Y连接时的作用

通过实验分析和理论计算,从两个方面说明中线在不对称负载作星形连接时的作用.     

任职经济责任审计系统设计与实现

该系统严格遵照国家干部经济责任审计的有关准则与规定，能够对企事业单位、行政单位等不同部门各个层次的领导干部，从内控制度、管理、经营、财务等多方面、多角度、全方位地进行跟踪审计，客观公正、实事求是地对有关报表数据进行科学分析，恰如其分地认定干部实绩和经济责任。